منابع مشابه
H.323 protocol suite
Multimedia communication has affected various areas of people’s life. Correspondingly numerous standards, communication technology and networks of multimedia from different vendors are evolving rapidly. The H.323 protocol suite was specified by ITU is a main technology for real-time communication of audio, video, and data packet switched networks. It also specifies the interoperability between ...
متن کاملFormal Analysis of the EMV Protocol Suite
This paper presents a formal model of the EMV (EuropayMasterCard-Visa) protocol suite in F# and its analysis using the protocol verification tool ProVerif [4] in combination with FS2PV [3]. The formalisation covers all the major options of the EMV protocol suite, including all card authentication mechanisms and both onand offline transactions. Some configuration parameters have to be fixed to a...
متن کاملA New Security Architecture for TCP/IP Protocol Suite
With the rapid growth and usage of Internet, network security becomes a major issue in the field of research. TCP and IP are the two protocols, which is basis for today’s Internet. IPv4 is the Internet protocol that is replaced with IPv6, which comes with the build mechanism called IPsec for security. But it lacks security in the application layer of TCP/IP Protocol suite. So there is a need fo...
متن کاملThe Tenet Real-Time Protocol Suite: Design, Implementation, and Experiences1
Many future applications will require guarantees on network performance, such as bounds on throughput, delay, delay jitter, and reliability. To address this need, the Tenet Group at the University of California at Berkeley has designed, simulated, and implemented a suite of network protocols to support real-time channels (network connections with mathematically provable performance guarantees)....
متن کاملVerification of A Security Adaptive Protocol Suite Using SPIN
communication technologies in recent years introduced various adaptive protocols to adapt the need for secured communications. Security is a crucial success factor for any communication protocols, especially in mobile environment due to its ad hoc behavior. Formal verification plays an important role in development and application of safety critical systems. Formalized exhausted verification te...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Scientific Research in Computer Science, Engineering and Information Technology
سال: 2020
ISSN: 2456-3307
DOI: 10.32628/cseit206420